201. Introduction to the theory of computation

پدیدآورنده :

موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

202. Language and Automata Theory and Applications

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبان‌های صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها

رده :
E-Book
,

203. Language and Automata Theory and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.

رده :
QA267
.
L38
2019eb

204. Language and automata theory and applications

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبان‌های صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها

رده :
QA
267
.
L32
2015
E-Book
,

205. Language and automata theory and applications

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses

رده :
QA267
.
L38
2012eb

206. Language and automata theory and applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018

207. Languages and machines :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité

رده :
QA267
.
3
.
S83
1997

208. Languages and machines: an introduction to the theory of computer science

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1997

209. Languages and machines; an introduction to the theory of computer science

المؤلف:

المکتبة: (خراسان الجنوبیة)

موضوع: ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1988

210. Languages and machines : an introduction to the theory of computer science

المؤلف:

المکتبة: (طهران)

موضوع: ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S93L2
2006

211. Languages and machines : an introduction to the theory of computer science

المؤلف:

المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)

موضوع: Formal languages,Machine theory,Computational complexity

رده :
004
.
20
S943l

212. Languages and machines : an introduction to the theory of computer science

المؤلف:

المکتبة: (طهران)

موضوع: Formal languages , Machine theory , Computational complexity

رده :
QA
267
.
3
.
S83
1997

213. Languages and machines: an introduction to the theory of computer science

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1997

214. Languages and machinesL an intrduction to the theory of computer science

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: Formal languages,Machine theory,Computational complextiy

رده :
QA
267
.
3
.
S83
1997

215. Languages & machines:an introduction to the theory of computer

المؤلف:

المکتبة: (طهران)

موضوع: FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY

رده :
QA
267
.
3
.
S83

216. Lecons sur la theorie des automates mathematiques

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Machine theory,، Formal languages

رده :
QA
267
.
B68

217. Leveraging applications of formal methods, verification and validation :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.

رده :
QA76
.
9
.
F67

218. Machines, languages, and computation

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Machine theory,، Formal languages

رده :
QA
267
.
D45

219. Mathematical Foundations of Computer Science 1976 :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Computer Science.,Computers.

رده :
QA267
.
3
E358
1976

220. Mathematical foundations of computer science

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(

رده :
QA
267
.
5
.
S4
S89
1974